#Abyss as SAT